Merge branch 'wip/ditch-workarea' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 29 Jul 2020 16:24:32 +0000 (16:24 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 29 Jul 2020 16:24:32 +0000 (16:24 +0000)
commit3eab58816b7b9c7c1675b81d9b6816a60403f4a0
tree76aafb6d7d5747f9cd9d90824f4adf95f6052bfd
parentec34675019446c080db60be2e8f7a8aec39bd097
parentc7c71137b287f9df26a47547202bb5ff3553773c
Merge branch 'wip/ditch-workarea' into 'master'

gdk/monitor: Remove gdk_monitor_work_area and GdkMonitor::work-area

See merge request GNOME/gtk!2316